KARAKTERISASI RESERVOIR KARBONAT MENGGUNAKAN INVERSI IMPEDANSI AKUSTIK BLOK ‘X’, FORMASI TUBAN, CEKUNGAN JAWA TIMUR

JaWa: Java with Assertions

On the Blok-Esakia Theorem

We discuss the celebrated Blok-Esakia theorem on the isomorphism between the lattices of extensions of intuitionistic propositional logic and the Grzegorczyk modal system. In particular, we present the original algebraic proof of this theorem found by Blok, and give a brief survey of generalisations of the Blok-Esakia theorem to extensions of intuitionistic logic with modal operators and coimpl...

Willem Blok and Modal Logic

We present our personal view on W.J. Blok’s contribution to modal logic.

Strömung-Struktur-Akustik Interaktion: Modellierung und Simulation

Die beiden grundlegenden Schallerzeugungsmechanismen basieren einerseits auf der Schwingung von Strukturen (Vibroakustik) und andererseits durch Aus-, Umsowie Durchströmung von Strukturen (Aeroakustik). Die Wechselwirkung zwischen der Strömung und elastischen Strukturen spielt in zahlreichen Anwendungsfeldern der unterschiedlichsten ingenieurwissenschaftlichen Disziplinen, in der Naturwissensch...

Preface: In memory of Wim Blok

algebraic logic: Full models, Frege systems, and metalogical properties he formulates an institutional analogue of the property of congruence and analyses how it helps in the preservation of other metalogical properties such as conjunction, disjunction, the deduction-detachment theorem, and two versions of reductio ad absurdum. In partial contrast, Raftery’s paper The equational definability of...